Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
401	SIGAda Awards 2013 Outstanding Ada Community Contribution Award Previous Recipients Peter Amey Add to Reading List Source URL: www.sigada.org Language: English - Date: 2013-11-14 15:03:34 Programming language theory Ada Robert Dewar Jean Ichbiah LIS Andy Wellings Grady Booch GNAT A Sharp Computing Software engineering Ada programming language
402	Compiler Manual E-LAB AVRco Pascal Multi-Tasking for Single Chips Version for Add to Reading List Source URL: www.e-lab.de Language: English - Date: 2015-04-14 12:26:47 Procedural programming languages Pascal C++ classes Pointer ALGOL 68 Bc programming language C APL Stack Computing Software engineering Programming language theory
403	DRA FRONT END FILTER PROJECT Proof Strategy Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:11 Computing Programming language theory ALGOL 68 Software engineering
404	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
405	Professor Russel Griggs OBE Independent Reviewer 4 December 2014 Lending Code Review Add to Reading List Source URL: www.lendingstandardsboard.org.uk Language: English - Date: 2014-12-03 12:06:40 Software engineering Programming language theory Computing C Cross-platform software
406	ENGG1015: Homework 2 Solution Dr. Hayden So Question 1 Digital Image Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-11-14 12:25:37 C Software engineering Programming language theory Computing Mathematical fallacy Proof theory
407	Dimension Types ? Andrew Kennedy University of Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:22:53 Computing Functional languages Procedural programming languages Type systems Type inference Standard ML ML Unification Principal type Programming language theory Type theory Software engineering
408	Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:46 Programming language theory Type system Lambda calculus Subtype polymorphism System F Π-calculus Type safety Type theory Software engineering Theoretical computer science
409	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
410	EE333 Microcontroller Engineering Oregon Tech Portland, Fall 2012 Homework Assignment #2 Due October 9 Each of the problems in this assignment use the following data declarations: org $1000 Add to Reading List Source URL: www.almy.us Language: English - Date: 2012-07-15 16:09:13 Programming language theory Assembly languages Data types MOV Addressing mode C++ classes Variable Value Static single assignment form Software engineering Computing Type theory

UPDATE